Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
941	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 Introduction Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-04-11 09:45:18 Lambda calculus Theoretical computer science MUMPS Computer science Computing Data management Computability theory
942	Turing Degrees and Definability of the Jump C Theodore A. Slaman University of California, Berkeley Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2005-07-21 06:01:25 English people Theory of computation Turing degree Alan Turing Degree of a continuous mapping Computability theory British people Mathematics
943	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
944	Computation Beyond Turing Machines Peter Wegner, Brown University Dina Goldin, U. of Connecticut 1. Turing’s legacy Add to Reading List Source URL: www.cse.uconn.edu Language: English - Date: 2002-06-25 12:30:48 Computability theory Mathematics Alan Turing Turing machine Church–Turing thesis Computability Halting problem Algorithm Super-recursive algorithm Computer science Theory of computation Theoretical computer science
945	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2013-01-31 10:36:00 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
946	Microsoft Word - MRP 1 - Copy _2_ Add to Reading List Source URL: www.bamcollege.org Language: English - Date: 2014-05-30 05:17:49 Complexity classes Computability theory Theory of computation Mathematical optimization NP-complete Algorithm P versus NP problem Computability Reduction Theoretical computer science Applied mathematics Computational complexity theory
947	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
948	Brief curriculum vitae Name: Manuel Lameiras de Figueiredo Campagnolo Place and date of birth: Alcobaca, November 8, 1965 Nationalities: Portuguese and French Institutional address: Instituto Superior de Agronomia, Tapa Add to Reading List Source URL: www.medfor.eu Language: English - Date: 2011-08-02 14:35:00 Mathematics Algorithm Mathematical logic Theoretical computer science Instituto Superior de Agronomia Computable function Applied mathematics Instituto Superior Técnico Isa Technical University of Lisbon Theory of computation Computability theory
949	Intelligent Computing Alan Turing Today’s Theme : ● Mostly classical AI Not much of statistics/optimization flavor. Days of limited number crunching. ● Paper’s covered ○ Intelligent Add to Reading List Source URL: deeplearning.cs.cmu.edu Language: English - Date: 2013-08-29 08:23:59 British people Science Unorganized machine Turing test Computability theory Computing Machinery and Intelligence Alan Turing Artificial intelligence Philosophy of artificial intelligence
950	An Approximation of the Universal Intelligence Measure Shane Legg and Joel Veness November 2011 Add to Reading List Source URL: www.vetta.org Language: English - Date: 2011-11-16 08:45:57 Applied mathematics Turing machine Theory of computation Alan Turing Kolmogorov complexity Ray Solomonoff Algorithm Turing completeness Computability Theoretical computer science Computer science Computability theory